(deffacts caso_6 
	(alumnos_evaluacion  
		(valor_C 10)
		(valor_H 12)
		(valor_A 12)
		(valor_S 10)
		(valor_I 1)
		(valor_D 10)
		(valor_E 10)))
